algebraic semantics meaning in French
sémantique algébrique
Examples
- In mathematical logic, algebraic semantics is a formal semantics based on algebras studied as part of algebraic logic.
En logique mathématique, la sémantique algébrique est une sémantique formelle basé sur les algèbres étudiés dans le cadre de la logique algébrique. - In particular, the variety of all modal algebras is the equivalent algebraic semantics of the modal logic K in the sense of abstract algebraic logic, and the lattice of its subvarieties is dually isomorphic to the lattice of normal modal logics.
En particulier, la variété de toutes algèbres modales est lasémantique algébrique équivalentes de la logique modale K dans le sens de la logique algébrique abstraite, et le treillis de ses sous-variétés est duellement isomorphe au treillis de logiques modales normales. - What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics (in the form of classes of algebras that constitute the algebraic semantics for these deductive systems) and connected problems like representation and duality.
Ce qui est maintenant généralement appelé la logique algébrique classique se concentre sur l'identification et la description algébrique de modèles adaptés à l'étude de différentes logiques (sous la forme de classes d'algèbres qui constituent la sémantique algébrique de ces systèmes déductifs) et aux problèmes connexes, comme la représentation et la dualité.